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