Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A language-independent approach to specification construction
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Hi-index | 0.00 |