Skip to main content

Detail autority

Záhlaví: Matoušek, Petr, 1973-

Citace: Matoušek, P.: Symbolic data structures for parametric verification
Citace: www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013