Assertions in Programming: From Scientific Theory to Engineering Practice
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer
2002
|
Κύριος συγγραφέας: | |
---|---|
Μορφή: | Conference item |
Έκδοση: |
Springer
2002
|