Statistics
Publications
2
Citations
44
H-Index
2
Active since
1977
Jhon V. Guttag is an author specializing in formal methods, type checking, and computer science.
Publications per year
1977–1977
2
2
Some extensions to algebraic specifications
Jhon V. Guttag, Ellis Horowitz, David R. Musser · ACM SIGPLAN Notices · 1977 · 34 citations
Some extensions to algebraic specifications
Jhon V. Guttag, Ellis Horowitz, David R. Musser · 1977 · 10 citations · Full text
1–2 of 2