Assertions in Programming: From Scientific Theory to Engineering Practice
Huvudupphovsman: | |
---|---|
Materialtyp: | Conference item |
Publicerad: |
Springer
2002
|
Huvudupphovsman: | |
---|---|
Materialtyp: | Conference item |
Publicerad: |
Springer
2002
|