Tayfun Elmas, Serdar Tasiran. VyrdMC: Driving Runtime Refinement Checking with Model Checkers. Electronic Notes in Theoretical Computer Science, 144(4):41-56, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.