Action Language Verifier
Bultan, T., Yavuz-Kahveci, T.
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Published in Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) (2001)
Get full text
Conference Proceeding
Action Language Verifier, Extended
Yavuz-Kahveci, Tuba, Bartzis, Constantinos, Bultan, Tevfik
Published in Computer Aided Verification (2005)
Published in Computer Aided Verification (2005)
Get full text
Book Chapter
Conference Proceeding