TY  - GEN
TY  - GEN
T1  - A study of methods for the production and verification of highly reliable computer programs
JF  - Sähkö
VO  - 53
IS  - 2
SP  - 65
OP  - 69
A1  - Haapanen, Pentti
A2  - Lahti, Jaakko
LA  - eng
YR  - 1980
UL  - https://kansalliskirjasto.finna.fi/kansalliskirjastofikka/Record/arto.014059167
ER  -