Search results for: Donald Sannella
Science of Computer Programming > 2017 > 144 > C > 1-49
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Presentations > 341-357
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Models of Computation > 593-617
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 247-261
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 161-176
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Perspectives of System Informatics > Algebraic Specifications > 1-9
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Invited Papers > 1-14
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 1-26
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2002 > Contributed Talks > 506-518
Lecture Notes in Computer Science > CASL User Manual > Carrying On > 125-129
Lecture Notes in Computer Science > TAPSOFT '91 > 313-336