Stem croco$ (all stems)
3 papers:
- ICSE-2006-Beyer #programming #relational
- Relational programming with CrocoPat (DB), pp. 807–810.
- IWPC-2003-BeyerL #analysis #named #object-oriented #performance #source code
- CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs (DB, CL), pp. 294–295.
- CAV-1992-MeryM #ide #interactive #named #specification #verification
- Crocos: An Integrated Environment for Interactive Verification of SDL Specifications (DM, AM), pp. 343–356.