Cited By
View all- Berstel BLeconte M(2010)Using Constraints to Verify Properties of Rule ProgramsProceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops10.1109/ICSTW.2010.42(349-354)Online publication date: 6-Apr-2010