Skip to main content

Algebra of concurrent design

Tony Hoare

Book Title
Formal Methods in Computer−Aided Design‚ FMCAD 2012‚ Cambridge‚ UK‚ October 22−25‚ 2012
Editor
Gianpiero Cabodi and Satnam Singh
Pages
5
Publisher
IEEE
Year
2012