Compositionality
by W.-P. de Roever, Hans Langmaack, A. Pnueli, Germany) COMPOS '97 (1997 Malente
Parallel processing (Electronic computers)CongressesAutomatic theorem proving
Writing a summary for young readers…
For young readers
Book data: Open Library