Viewpoint Consistency in Z and LOTOS: A Case Study.

Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen

Browse the full FM paper archive.