Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz. Towards Automated Consistency Checking of Module Interface Specifications. Fundamenta Informaticae, 42(3-4):251-278, 2000.
@article{EngelKM00,
title = {Towards Automated Consistency Checking of Module Interface Specifications},
author = {Marcin Engel and Artur Kret and Janina Mincer-Daszkiewicz},
year = {2000},
tags = {consistency},
researchr = {https://researchr.org/publication/EngelKM00},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {42},
number = {3-4},
pages = {251-278},
}