Pedro R. D�Argenio, Hern�n Melgratti

CONCUR 2013 � Concurrency Theory - Springer 2013 - Lecture Notes in Computer Science .

9783642401848

Logics and Meanings of Programs; Software Engineering; Probability and Statistics in Computer Science