Collections

Formal verification of object-oriented software

Formal verification of object-oriented software

Availability : 1 copies available for loan