Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
CASL: the common algebraic specification language
Theoretical Computer Science
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
A Total Approach to Partial Algebraic Specification
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Common Framework Initiative for Algebraic Specification and Development of Software
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Specification Refinement with System F
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Structured theories and institutions
Theoretical Computer Science
A software architecture for knowledge-based systems
The Knowledge Engineering Review
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Observability Concepts in Abstract Data Type Specification, 30 Years Later
Concurrency, Graphs and Models
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Toward specifications for reconfigurable component systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Order-sorted parameterization and induction
Semantics and algebraic specification
Testing techniques in software engineering
Testing techniques in software engineering
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Checking formal specifications by testing
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
| Hi-index | 0.00 |