Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal MethSpringer-Verlag · 2005

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 8739 ||Albert, Elvira; Sekerinski, Emil · 2014

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 4591 ||Davies, Jim; Gibbons, Jeremy · 2007

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||Rayadurgam, Sanjai; Tkachuk, Oksana · 2016

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 ||Johnsen, Einar Broch; Petre, Luigia · 2013

Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on FormalSpringer-Verlag · 2006

[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design ||Aagaard, Mark D.; O’Leary, John W. · 2002

[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||Butler, Michael; Petre, Luigia; Sere, Kaisa · 2002

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 ||Ribeiro, Leila; Lecomte, Thierry · 2016

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 || On Interval Dynamic LogicRibeiro, Leila; Lecomte, Thierry · 2016

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 10090 || Algebraic Foundations for Specification RefinementsRibeiro, Leila; Lecomte, Thierry · 2016