What is in a Step: New Perspectives on a Classical Question

Faculty/Professorship: Software Technologies  ; Foundations of Computer Science  
Author(s): Roever, Willem-Paul de; Lüttgen, Gerald  ; Mendler, Michael
Title of the compilation: Time for verification : essays in memory of Amir Pnueli
Editors: Manna, Zohar; Peled, D.A.
Publisher Information: Berlin u.a.
Year of publication: 2010
Pages: 370 - 399
ISBN: 9783642137532
Language(s): English
Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/3847
Year of publication: 30. April 2014