A scalable formal method for design and automatic checking of user interfaces (2005)

Cached

Download Links

by Jean Berstel , Stefano Crespi Reghizzi , Dipartimento Di , Elettronica E Informazione , Politecnico Di , M Ilano , Gilles Roussel , Institut Gaspard-monge , Institut Gaspard-monge , Université De Marne-la-vallée , Université De Marne-la-vallée
Venue:ACM Transactions on Software Engineering and Methodology
Citations:19 - 0 self