DaftarIsitemplate
Call Number
005.16 Bit f
Title
Traces of I/O automata in Isabelle/HoLCF (Lecture Notes in Computer Science 1214), Hal. 580-594
Author
Olaf Muller; Tobias Nipkow;
Publisher
Springer, 1997
Subject
Location