Inproceedings,

The Abstract Interpretation of Hybrid Rule/Frame-Based Systems.

, and .
EUROVAV, page 39-53. Logica Ltd., Cambridge, UK, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews