Academic
Publications
Robin Milner 1934--2010: verification, languages, and concurrency

Robin Milner 1934--2010: verification, languages, and concurrency,10.1145/1925844.1926439,Sigplan Notices,Andrew D. Gordon,Robert Harper,John Harrison

Robin Milner 1934--2010: verification, languages, and concurrency  
BibTex | RIS | RefWorks Download
Journal: Sigplan Notices - SIGPLAN , pp. 473-474, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.