Has title
From LRDE
B
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Building LTL Model Checkers using Transition-based Generalized Büchi Automata +
Building a quantum perceptron +
Building an interface for and with Climb +
C
C++ Program Slicing with Transformers +
C++ Transformations panorama +
C++ Transformations panorama +
C++ container library with the SCOOP paradigm +
C++ container library with the SCOOP paradigm +
C++ template disambiguation with Transformers Attribute Grammars +
C++ type-checking: A study of existing solutions +
C++ type-checking: A study of existing solutions +
C-Transformers — A Framework to Write C Program Transformations +
C/C++ Disambiguation Using Attribute Grammars +
CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving +
CLIMB: A Dynamic Approach To Generic Image Processing +
CLIMB: Une approche dynamique du traitement générique d'images +
CLOS Efficiency: Instantiation +
CLOS solutions to binary methods +
CLoX: Common Lisp objects for XEmacs +