DMCA

An abductive approach for analysing event-based requirements specifications (2002)

by Alessandra Russo , Rob Miller , Bashar Nuseibeh , Jeff Kramer
Venue:18th Int. Conf. on Logic Programming (ICLP
Citations:43 - 12 self