Fingerprint
Dive into the research topics of 'Building extensible specifications and implementations of promela with AbleP'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Building extensible specifications and implementations of promela with AbleP
Yogesh Mali, Eric Van Wyk
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
8
Scopus
citations