<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
The Springer Journal “Formal Aspects of Computing” will produce an edition (31:6) which has papers relating to “Formal Methods”. At the moment, 5 papers, an editorial and an obituary of Zohar Manna are already visible on-line at
<div class=""><a href="https://link.springer.com/journal/volumesAndIssues/165" class="">https://link.springer.com/journal/volumesAndIssues/165</a></div>
<div class="">If your institution has a Springer account, you ought be able to download PDFs free of charge</div>
<div class=""><br class="">
</div>
<div class="">The editorial is by Jones&Oliveira [you have to hunt down the page for some of these]</div>
<div class=""><br class="">
</div>
<div class="">Haigh on “<a class="title" href="https://link.springer.com/article/10.1007/s00165-019-00494-z">Assembling a prehistory for formal methods: a personal view</a>“ [please read this first - the following articles offer historical source material -
they are written by the experts involved - not by card carrying historians]</div>
<div class=""><br class="">
</div>
<div class="">Apt&Olderog on “Hoare Logic”</div>
<div class=""><br class="">
</div>
<div class="">Moore on “… ACL/2"</div>
<div class=""><br class="">
</div>
<div class="">Paulson,Nipkow&Wenzel on “… Isabelle”</div>
<div class=""><br class="">
</div>
<div class="">Pous&Sangiorgi on “Bi-simulation and co-induction”</div>
<div class=""><br class="">
</div>
<div class="">Dershowitz&Waldinger wrote the obituary of Zohar</div>
<div class=""><br class="">
</div>
<div class="">cliff jones</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
</body>
</html>