Suchergebnis

• Logic-based program synthesis and transformation 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014 ; revised selected papers Proietti, Maurizio (Hrsg.) ; LOPSTR <24., 2014, Canterbury> Cham [u.a.] : Springer, 2015

• Logic-based program synthesis and transformation 25th international symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers Falaschi, Moreno (Hrsg.) ; LOPSTR <25., 2015, Siena> [Cham] : Springer, 2015

• Model checking Clarke, Edmund M. ; Grumberg, Orna ; Kröning, Daniel ; Peled, Doron ; Veith, Helmut second edition, Cambridge, MA ; London : The MIT Press, 2018

• Software engineering and formal methods 12th international conference, SEFM 2014 Grenoble, France, September 1 - 5, 2014 ; proceedings Giannakopoulou, Dimitra (Hrsg.) ; SEFM <12., 2014, Grenoble> Cham [u.a.] : Springer, 2014

• Software engineering and formal methods 13th international conference, SEFM 2015, York, UK, September 7 - 11, 2015 ; proceedings Calinescu, Radu C. (Hrsg.) ; SEFM <13., 2015, York> Cham [u.a.] : Springer, 2015

• Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Chechik, Marsha (Hrsg.) ; Raskin, Jean-François (Hrsg.) ; TACAS <22., 2016, Eindhoven> ; ETAPS <19., 2016, Eindhoven> Berlin : Springer, 2016