I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Robin Milner 1934--2010 : verification, languages, and c..:

, In: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages,
Gordon, Andrew D. ; Harper, Robert ; Harrison, John.. - p. 473-474 , 2011
Link: https://dl.acm.org/doi/10.1145/1926385.1926439