Sciweavers

16725 search results - page 226 / 3345
» Engineering Software Correctness
Sort
View
ICSE
1994
IEEE-ACM
15 years 10 months ago
A Review of Formalisms for Describing Interactive Behaviour
Michael D. Harrison, David J. Duke