The Algebraic foundations of mathematics

An Introduction to formal specification with Z and VDM

Penyusunan software requirements specification (Srs) sistem informasi sumber daya manusia: Studi kasus PT XYZ = Development of software requirements specification (Srs) for human resource management system: PT XYZ case study

An Introduction to discrete mathematics and formal system specification

Proceedings of the sixth International Workshop on Software Specification and Design