著者
Amy Moormann Zaremski
タイトル
A Larch Specification of the Mir\'o Editor
日時
February 1991
カテゴリ
CMUTR
Category: CMUTR
Institution: Carnegie Mellon University, School of Computer
        Science
Bibtype: TechReport
Author: Amy Moormann Zaremski
Month: feb
Title: A Larch Specification of the Mir\'{o} Editor
Year: 1991
Key: Formal specification, visual language, Larch Mir\'{o}
        number =	"CMU-CS-91-111
Address: Pittsburgh, PA