| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures: v. 1536 | 978-3-540-65493-3 | 1998 | Willem-Paul de Roever · Amir Pnueli |
| Formal Methods for Industrial Applications. Specifying and Programming the Steam Boiler Control | 978-3-540-61929-1 | 1997 | Jean-Raymond Abrial · Egon Börger |
| Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd | 978-3-540-58468-1 | 2009 | |
| LOGLAN '88 - Report on the Programming Language | 978-3-540-52325-3 | 2008 | Antoni Kreczmar · Marek Warpechowski · Andrzej Salwicki |
| VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings | 978-3-540-52513-4 | 1990 | Dines Bjorner · C.A.R. Hoare |
Hannes Langhammer · Hannes Lünzmann · Hans Langenbacher · Hans Langenberg · Hans Langendörfer · Hans. Langendorf · Hans Langenfeld · Hans Langner · Hans Langnickel · Hans Linzenich · Hans Löwenkamp · Heinz Lingenberg · Huang Lingyun · Langmaack, Hans