Conference Proceedings

A tool for intersecting context-free grammars and its applications

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey, K Havelund (ed.), G Holzmann (ed.), R Joshi (ed.)

Lecture Notes in Computer Science | Springer International Publishing | Published : 2015