id: 70745929
dt: a
an: 70745929
au: Asteasuain, Fernando; Braberman, Víctor A.
ti: Specification patterns can be formal and still easy
so: SEKE, 430-436 (2010).
py: 2010
pu: 
la: EN
cc: 
ut: 
ci: 
li: