Generating Object-Z Specifications from Use Cases”, Enterprise Information Systems

Authors

Ana Moreira, João Araújo,