×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [proof of correct programs]
Home >
proof of correct programs
Oct. 2012 Active objects: programming and composing safely large-scale distributed applications Ludovic Henrio SCALE team, CNRS – Sophia Antipolis July.
214 views
Formal Models for Programming and Composing Correct Distributed Systems Jury : Gordon BlairFabienne BoyerEric Madelaine Pascal PoizatMichel RiveillDavide.
217 views