|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Assembling a prehistory for formal methods: a personal view |
Haigh, Thomas |
|
31 | 6 |
p. 663-674 |
article |
|
| 2 | Bisimulation and Coinduction Enhancements: A Historical Perspective |
Pous, Damien |
|
31 | 6 |
p. 733-749 |
article |
|
| 3 | Editorial |
Jones, Cliff |
|
31 | 6 |
p. 661 |
article |
|
| 4 | Fifty years of Hoare’s logic |
Apt, Krzysztof R. |
|
31 | 6 |
p. 751-807 |
article |
|
| 5 | From LCF to Isabelle/HOL |
Paulson, Lawrence C. |
|
31 | 6 |
p. 675-698 |
article |
|
| 6 | Milestones from the Pure Lisp theorem prover to ACL2 |
Moore, J. Strother |
|
31 | 6 |
p. 699-732 |
article |
|
| 7 | Zohar Manna (1939–2018) |
Dershowitz, Nachum |
|
31 | 6 |
p. 643-660 |
article |
|
| 8 | Zohar Manna (1939–2018) |
Dershowitz, Nachum |
|
31 | 6 |
p. 643-660 |
article |
8 results found