A Method for Compiling and Executing Expressive Assertions.

Francisco Jos Galn Morillo, Jos Miguel Caete Valden

Browse the full IFM paper archive.