B: towards zero defect software
High integrity software
Extended static checking for Java
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Reconciling Axiomatic and Model-Based Specifications Using the B Method
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Retrenchment, Refinement, and Simulation
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Performing Algorithmic Refinement before Data Refinement in B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Developing Java Card Applications with B
Electronic Notes in Theoretical Computer Science (ENTCS)
Planning as model checking: the performance of ProB vs NuSMV
Proceedings of the 2008 annual research conference of the South African Institute of Computer Scientists and Information Technologists on IT research in developing countries: riding the wave of technology
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Finding counter examples in induction proofs
TAP'08 Proceedings of the 2nd international conference on Tests and proofs
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Retrenchment and the b-toolkit
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A layer-based method for rapid software development
Computers & Mathematics with Applications
PLDI 2002: Extended static checking for Java
ACM SIGPLAN Notices - Supplemental issue
Hi-index | 0.00 |