Collections

Real-time system: formal specification and automatic verification

Real-time system: formal specification and automatic verification

Availability : 1 copies available for loan