TY  - BOOK
ED  - IEEE COMPUTER SOCIETY
TI  - SPECIFICATIONS OF RELIABLE SOFTWARE
U1  - 001.6425 
PY  - 1979///
CY  - Estados Unidos
PB  - IEEE COMPUTER SOCIETY
KW  - TECNICAS DE PROGRAMACION
ER  -