Normal view
MARC view
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (Personal Name)
Machine generated authority record
Work cat.: (OSt)1642132: Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, From Software Engineering to Formal Methods and Tools, and Back