search result

Cover von Specification, Verification and Inference

Specification, Verification and Inference

(Invited Talk)
Year: 2013
Media group: ARTICLE
Cover von Programming languages and systems
second Asian symposium, Taipei, Taiwan, November 4 - 6, 2004, proceedings
Search for this author
Year: 2004
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 3302
Media group: MONOGRAPHIE
Cover von Theoretical Aspects of Software Engineering
18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14777
Media group: MONOGRAPHIE
Cover von Automated Technology for Verification and Analysis
8th International Symposium, Singapore, September 21 - 24, 2010, Proceedings
Search for this author
Year: 2010
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 6252
Media group: MONOGRAPHIE
Cover von Theme issue on partial evaluation and semantics-based program manipulation; 1/2
S. 1-163
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 1/2
Media group: SPECIAL ISSUE
OPEN V 11.1.0.0