1 book • 1 series
Notations for Software Design (Formal Approaches to Computing and Information Technology (FACIT))