COMPLX: A Verification Framework for Concurrent Imperative Programs

From MaRDI portal


MaRDI QIDQ7361465FDO


Authors Sidney Amani, June Andronick, Maksym Bortin, Corey Lewis, Christine Rizkallah, Joseph Tuong

Publication date 29 November 2016








This page was built for software: COMPLX: A Verification Framework for Concurrent Imperative Programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=COMPLX:_A_Verification_Framework_for_Concurrent_Imperative_Programs&oldid=105366608"
Powered by MediaWiki