DMCA

Building Extensible Specifications and Implementations of Promela with AbleP (2011)

by Yogesh Mali , Eric Van Wyk
Venue:In: Model Checking Software - 18th International SPIN Workshop, Proceedings, LNCS
Citations:3 - 1 self