PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.

I. D. Cottam, C. B. Jones, T. Nipkow, A. C. Wills, M. I. Wolczko, A. Yaghi

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

Fingerprint

Dive into the research topics of 'PROJECT SUPPORT ENVIRONMENTS FOR FORMAL METHODS.'. Together they form a unique fingerprint.

Keyphrases

Computer Science