TY  - GEN
T1  - Strategies for incorporating formal specifications in software development
A1  - Fraser, Martin D
A2  - Kumar, Kuldeep
A2  - Vaishnavi, Vijay K
UL  - http://buscaintegrada.pucsp.br/vufind/Record/126828
KW  - Ciência da computação
ER  -
Cannot write session to /tmp/vufind_sessions/sess_ho2moo3o52jv68vfo6sdca4g3m