The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design.

Jesús Manuel Almendros-Jiménez Luis González-Jiménez The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. 54-61 2000 conf/apsec/2000 APSEC http://csdl.computer.org/comp/proceedings/apsec/2000/0915/00/09150054abs.htm db/conf/apsec/apsec2000.html#Almendros-JimenezG00