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

Robin Milner 1934--2010: verification, languages, and concurrency,10.1145/1926385.1926439,Andrew D. Gordon,Robert Harper,John Harrison,Alan Jeffrey,Pe

Robin Milner 1934--2010: verification, languages, and concurrency  
BibTex | RIS | RefWorks Download
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.