Programming with Constraints: An Introduction by Kim Marriott and Peter J. Stuckey, MIT Press, 1998.

Authors:
Michael Hanus
Affiliations:
-
Venue:
Journal of Functional Programming
Year:
2001

Citing 0
Cited 2

Lightweight verification of executable models

ER'11 Proceedings of the 30th international conference on Conceptual modeling
Automatic protocol signature generation framework for deep packet inspection

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools

Quantified Score

Hi-index	0.00

Visualization

Abstract