Normal view
MARC view
Formal methods (Topical Term)
Machine generated authority record.
Work cat.: (inmoiis)0: Tomassi, Paul, 1962- 3765, Logic , 1999.