TY - GEN
T1 - Formal methods in context [Los métodos formales en contexto]
AU - Serna M. E.
AU - Serna A. A.
Y1 - 2014
UR - http://hdl.handle.net/20.500.12622/3785
AB -
ER -
@misc{20.500.12622_3785,
author = {Serna M. E. and Serna A. A.},
title = {Formal methods in context [Los métodos formales en contexto]},
year = {2014},
abstract = {},
url = {http://hdl.handle.net/20.500.12622/3785}
}RT Generic
T1 Formal methods in context [Los métodos formales en contexto]
A1 Serna M. E.
A1 Serna A. A.
YR 2014
LK http://hdl.handle.net/20.500.12622/3785
AB
OL Spanish (121)