Verification of Conceptual Schemata Based on a Hybrid Object Oriented and Logic Paradigm

V Karakostas, P Loucopoulos

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	587-594
Number of pages	8
Journal	Information and Software Technology
Volume	30
Issue number	10
Publication status	Published - 1988

Cite this

@article{9b86adb366c44558b9d76e2bbeb495fd,

title = "Verification of Conceptual Schemata Based on a Hybrid Object Oriented and Logic Paradigm",

author = "V Karakostas and P Loucopoulos",

year = "1988",

language = "English",

volume = "30",

pages = "587--594",

journal = "Information and Software Technology",

issn = "0950-5849",

publisher = "Elsevier BV",

number = "10",

}