An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

Implementation and Application of Automata,2012, 引用: 12

,2004, 引用: 1

arXiv: Formal Languages and Automata Theory,2014, 引用: 0

The Multivariate Algorithmic Revolution and Beyond,2012, 引用: 11

Research Report Series of IASI-CNR, Rome, Italy (ISSN: 1128-3378),2009, 引用: 1

Mathematical Foundations of Computer Science 2014,2014, 引用: 10

Automata, Languages, and Programming,2013, 引用: 6

Description Logics,2014, 引用: 3

applications and theory of petri nets,2012, 引用: 7

Lecture Notes in Computer Science,2011, 引用: 30