Provably Correct Implementations of Services

Trustworthy Global Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00945-7_5 ◽

2009 ◽

pp. 69-86 ◽

Cited By ~ 3

Author(s):

Roberto Bruni ◽

Rocco De Nicola ◽

Michele Loreti ◽

Leonardo Gaetano Mezzina

Download Full-text