Articles liés à Temporal Logic of Programs

Temporal Logic of Programs - Couverture rigide

 
9780387170305: Temporal Logic of Programs