INTEGRATION of SMT-Solver and PATTERN In
Subtitle: Event-B
Publisher: CreateSpace Independent Publishing Platform
Published: 2013
Language: eng
Number of pages: 56
ISBN-13: 9781489513380