@dblp

A Product Assurance Environment for Prolog.

, and . LPE, page 94-99. IRISA, Campus de Beaulieu, France, (1993)

Links and resources

Tags