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

Jess Manuel Almendros-Jimnez, Luis Gonzlez-Jimnez

Browse the full APSEC paper archive.