search result

Cover von Program checkers for algebraic problems
Author: Kannan, Sampath Search for this author
Year: 1989
Publisher: Berkeley, University
Series: TR ICSI - International Computer Science Institute / Berkeley; 89-064
Media group: DISSERTATION
Cover von Proceedings of the 3rd workshop on automated verification of critical systems
Southampton, United Kingdom, 2nd - 3rd April, 2003
Search for this author
Year: 2003
Publisher: Southampton, University
Series: Technical report DSSE-TR; 2003-2
Media group: MONOGRAPHIE
OPEN V 11.1.0.0