Assertions in Programming: From Scientific Theory to Engineering Practice
מחבר ראשי: | |
---|---|
פורמט: | Record |
יצא לאור: |
2002
|
Search Result 1
Assertions in Programming: From Scientific Theory to Engineering Practice
יצא לאור 2002
Conference item