id: 70974431
dt: a
an: 70974431
au: Earle, Clara Benac; Fredlund, Lars-åke
ti: Rigorous software development using mcerlang
so: JISBD, 355-358 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: