If you made any changes in Pure, your changes will be visible here soon.

Research Output 1991 2018

Filter
Conference article
2004
34 Citations (Scopus)
Specifications
Model checking
Testing
Experiments
Formal specification