Chapter
Verifiable Programming of Object-Oriented and Distributed Systems
Authors
Owe O
Book title
From Action Systems to Distributed Systems
Pagination
pp. 61-79
Publisher
Taylor & Francis
Publication Date
May 12, 2016
DOI
10.1201/b20053-8
Experts has a new look! Let us know what you think of the updates.
Provide feedback