Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings: 8702 (Lecture Notes in Computer Science)
by Dimitra Giannakopoulou, Gwen Salaün
ISBN 13: 9783319104300
Format: Paperback (416 pages) Publisher: Springer Published: 04 Aug 2014
Save for later
Software Technologies: Applications and Foundations: STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers: 11176 (Lecture Notes in Computer Science)
by Manuel Mazzara,Iulian Ober,Gwen Salaün
ISBN 13: 9783030047702
Format: Paperback (680 pages) Publisher: Springer Published: 10 Jan 2019
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers: 7684 (Lecture Notes in Computer Science)
by Corina S Pasareanu,Gwen Salaün
ISBN 13: 9783642358609
Format: Paperback (288 pages) Publisher: Springer Published: 09 Jan 2013