Formal Specification and Prototyping of Multimedia Applications

Timothy Arndt, Shi-Kuo Chang, Angela Guercio. Formal Specification and Prototyping of Multimedia Applications. International Journal of Software Engineering and Knowledge Engineering, 10(4):377-409, 2000. [doi]

Abstract

Abstract is missing.