Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
VIDEAS: a development tool for answer-set programs based on model-driven engineering technology
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Hi-index | 0.00 |