TY - GEN
T1 - Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]
AU - Edgar Serna M.
AU - Alexei Serna A.
Y1 - 2014
UR - http://hdl.handle.net/20.500.12622/3795
AB -
ER -
@misc{20.500.12622_3795,
author = {Edgar Serna M. and Alexei Serna A.},
title = {Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]},
year = {2014},
abstract = {},
url = {http://hdl.handle.net/20.500.12622/3795}
}RT Generic
T1 Formal specification in context: Current and future [La especificación formal en contexto: Actual y futuro]
A1 Edgar Serna M.
A1 Alexei Serna A.
YR 2014
LK http://hdl.handle.net/20.500.12622/3795
AB
OL Spanish (121)
