Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings: 8739 (Lecture Notes in Computer Science)
by Elvira Albert, Emil Sekerinski
ISBN 13: 9783319101804
Format: Paperback (404 pages) Publisher: Springer Published: 15 Sep 2014
Save for later
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... G: 9688 (Lecture Notes in Computer Science)
by Elvira Albert, Ivan Lanese
ISBN 13: 9783319395692
Format: Paperback (292 pages) Publisher: Springer Published: 27 Jun 2016
Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers: 7844 (Lecture Notes in Computer Science)
by Elvira Albert
ISBN 13: 9783642381966
Format: Paperback (256 pages) Publisher: Springer Published: 03 May 2013