|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Assembling a prehistory for formal methods: a personal view |
Haigh, Thomas |
|
31 | 6 |
p. 663-674 |
artikel |
|
| 2 | Bisimulation and Coinduction Enhancements: A Historical Perspective |
Pous, Damien |
|
31 | 6 |
p. 733-749 |
artikel |
|
| 3 | Editorial |
Jones, Cliff |
|
31 | 6 |
p. 661 |
artikel |
|
| 4 | Fifty years of Hoare’s logic |
Apt, Krzysztof R. |
|
31 | 6 |
p. 751-807 |
artikel |
|
| 5 | From LCF to Isabelle/HOL |
Paulson, Lawrence C. |
|
31 | 6 |
p. 675-698 |
artikel |
|
| 6 | Milestones from the Pure Lisp theorem prover to ACL2 |
Moore, J. Strother |
|
31 | 6 |
p. 699-732 |
artikel |
|
| 7 | Zohar Manna (1939–2018) |
Dershowitz, Nachum |
|
31 | 6 |
p. 643-660 |
artikel |
|
| 8 | Zohar Manna (1939–2018) |
Dershowitz, Nachum |
|
31 | 6 |
p. 643-660 |
artikel |
8 gevonden resultaten