Artur Kret

Publication Activity (10 Years)

Years Active: 2000-2000
Publications (10 Years): 0

Publications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz
Towards Automated Consistency Checking of Module Interface Specifications. Fundam. Informaticae 42 (3-4) (2000)