Searching for "A Front-End Generator for Verification Tools." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

A Front-End Generator for Verification Tools
by Rance W. Cleaveland, Rance W Cleaveland, Eric Madelaine, Eric Madelaine, Steve Sims, Steve Sims, Projet Meije — 1995
… AUTOMATIQUE A front-end generator for verification tools Rance W Cleaveland , Eric Madelaine , Steve Sims N…
Cited by 21 (6 self) – Add To MetaCart

DEMOS at CONCUR96
by Corrado Priami (Ed.), Corrado Priami, Eike Best, Burkhard Bieber, Bernd Grahlmann — 1996
…. In Margaria and Steffen [13], pages 278--297. [8] R. Cleaveland, E. Madelaine, and S. Sims. A front-end…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB