Publications
Lapschies. Automated test case generation with SMTsolving and abstract interpretation. In Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, Nasa Formal Methods, Third International [...] Peleska. Z Applied to the A330/340 CIDS Cabin Communication System. In Michael Hinchey and Jonathan Bowen, editors, Applications of Formal Methods, pages 253–284, Englewood Cliffs NJ, 1995. Prentice Hall