Proving the correctness of client/server software

Verfasser / Beitragende:
[Eyad Alkassar, Sebastian Bogan, Wolfgang Paul]
Ort, Verlag, Jahr:
2009
Enthalten in:
Sadhana, 34/1(2009-02-01), 145-191
Format:
Artikel (online)
ID: 453673228