Layering distributed algorithms within the B-Method

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 2nd International B Conference,
PublisherSpringer Verlag
Publication statusPublished - 1998
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Cite this