Browse all works related to (Keywords)Z specification language.
by FM, Limerick
fromLecture Notes in Computer Science