Formal analysis of reactive rule-based programs


Man Lin
Bok Engelsk 1997

Detaljer

Bibliotek som har denne