Leveraging applications of formal methods, verification and validation: 5th international symposium, ISoLA 2012, Heraklio… by Margaria-Steffen, Tiziana, Steffen, Bernhard, ISoLA (Symposium), Ērakleion, Greece) fromLNCS sublibrary. SL 1, Theoretical computer science and gen… 0 Type: Book
