Publication:2908850
From MaRDI portal
DOI10.4230/LIPIcs.FSTTCS.2010.204zbMath1245.68129MaRDI QIDQ2908850
Madhavan Mukund, S. Akshay, Paul Gastin, K. Narayan Kumar
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_30c6.html
68Q60: Specification and verification (program logics, model checking, etc.)