Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Corina Pasareanu
Preface
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Rapid Property Specification and Checking for Model-Based Formalisms