A Verification Approach for System-Level Concurrent Programs.

Matthias Daum Jan Dörrenbächer Mareike Schmidt Burkhart Wolff A Verification Approach for System-Level Concurrent Programs. 161-176 2008 VSTTE http://dx.doi.org/10.1007/978-3-540-87873-5_15 conf/vstte/2008 db/conf/vstte/vstte2008.html#DaumDSW08