Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Static Semantics for Alloy and its Impact in Refactorings
Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Alloy analyzer+PVS in the analysis and verification of alloy specifications
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Complete calculi for structured specifications in fork algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Matrices as arrows!: a biproduct approach to typed linear algebra
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Fork algebras as a sufficiently rich universal institution
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Typing linear algebra: A biproduct-oriented approach
Science of Computer Programming
Dynamite: A tool for the verification of alloy models based on PVS
ACM Transactions on Software Engineering and Methodology (TOSEM)
| Hi-index | 0.00 |