Home
Scholarly Works
Verifiable Programming of Object-Oriented and...
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
Associated Experts
Emil Sekerinski
Professor, Faculty of Engineering
Visit profile
View published work (Non-McMaster Users)
Scholarly citations from Dimensions
Contact the Experts team
Get technical help
or
Provide website feedback