num_pages: 447
description: Book by
language: English
title: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994
titlecomplete: Interactive Systems: Design, Specification, and Verification: 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 (Focus on Computer Graphics)
ratings_count: 1
publisher: Springer