Normal view
MARC view
Kazuhiro Ogata, Mark Lawford, Shaoying Liu(Personal Name)
Machine generated authority record
Work cat.: (OSt)1623129: Kazuhiro Ogata, Mark Lawford, Shaoying Liu, Formal Methods and Software Engineering