31387 search results - page 70 / 6278 » Abstracts |
CAV
2003
Springer
14 years 1 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
LATIN
2000
Springer
14 years 1 months ago
2000
Springer
d abstract) Book section (Refereed) Original citation: Originally published in Gonnet, G; Panario D; Viola, A, LATIN 2000: theoretical informatics. Lecture notes in computer scienc...
CAV
2008
Springer
13 years 12 months ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
ECEASST
2008
13 years 10 months ago
2008
pecification on the Concrete and Abstract Syntax Level of a Diagram Language Sonja Maier, Steffen Mazanek and Mark Minas 15 pages Guest Editors: Andrew Fish, Harald St
ENTCS
2008
13 years 10 months ago
2008
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...