DaftarIsitemplate
Call Number
004.33 Jos f
Title
Real-time program refinement using auxiliary variables (LNCS-Lecture Notes in Computer Science 1926) Hal 170-184
Author
Ian Hayes;
Publisher
Springer, 2000
Subject
Location