DMCA

Model checking Real Time Java using JavaPathfinder

by Gary Lindstrom , Peter C. Mehlitz , Willem Visser
Venue:In Proc. Third International Symposium on Automated Technology for Verification and Analysis (ATVA
Citations:10 - 1 self