Practical Application of Functional and Relational Methods for the Specification and Verification of Safety Critical Software Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Lawford, Mark
McDougall, Jeff
Froebel, Peter
Moum, Greg

status

published

publication date

2000

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

8th International Conference on Algebraic Methodology and Software Technology (AMAST) Conference