Especificación y Transformación de las Propiedades de un Programa LOTOS

Áreas de investigación:	Sin categoría	Año:	1993
Tipo de publicación:	Artículo en conferencia
Autores:	2, Carlos Delgado Kloos
Título del libro:	III Jornadas de Telecom I+D
Páginas:	25-38
Dirección:	Madrid, Spain
Mes:	Noviembre
BibTex:
@conference{PD93, author = "2,Carlos Delgado Kloos", address = "Madrid, Spain", booktitle = "III Jornadas de Telecom I+D", month = "nov", pages = "25--38", title = "{E}specificaci{\'o}n y {T}ransformaci{\'o}n de las {P}ropiedades de un {P}rograma {LOTOS}", year = "1993", }