Formal methods: state of the art and future directions (Q29395404)
Jump to navigation
Jump to search
scientific article (publication date: December 1996)
Language | Label | Description | Also known as |
---|---|---|---|
English | Formal methods: state of the art and future directions |
scientific article (publication date: December 1996) |
Statements
Formal methods: state of the art and future directions (English)
1 reference
Jeannette M. Wing
1 reference
Edmund M. Clarke
1 reference
1 December 1996
1 reference
1 reference
28
1 reference
4
1 reference
626-643
1 reference
Identifiers
1 reference