A formal nethod (a networked formal method)

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)255-268
Number of pages14
JournalInnovations in Systems and Software Engineering
Volume6
Issue number4
Publication statusPublished - 1 Dec 2010