Login / Signup
Chris Meenan
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Commercial Products
User Friendly
Website
Analytic Tools
Top Venues
STAIRS
</>
Publications
</>
Kevin McAreavey
,
Weiru Liu
,
Paul Miller
,
Chris Meenan
Tools for Finding Inconsistencies in Real-world Logic-based Systems.
STAIRS
(2012)