Reasoning about Action Systems using the B-Method

Marina Walden, Kaisa Sere

Research output: Contribution to journalArticleScientificpeer-review

26 Citations (Scopus)
Original languageEnglish
Pages (from-to)5-35
JournalFormal Methods in System Design
Volume13
Issue number1
Publication statusPublished - 1998
MoE publication typeA1 Journal article-refereed

Cite this