Formal specification and practical verification of contextual component compatibility: technical report no. DCSE/TR-2011-06
Files
Date issued
2011
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
University of West Bohemia in Pilsen
Abstract
Description
Subject(s)
komponenty, grafické uživatelské rozhraní, kompatibilita