Building extensible specifications and implementations of promela with AbleP

Yogesh Mali, Eric Van Wyk

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Fingerprint Dive into the research topics of 'Building extensible specifications and implementations of promela with AbleP'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science