| 2000 | ||
|---|---|---|
| 4 | Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz: Towards Automated Consistency Checking of Module Interface Specifications. Fundam. Inform. 42(3-4): 251-278 (2000) | |
| 1997 | ||
| 3 | Michal Iglewski, Janina Mincer-Daszkiewicz: Internal Design of Modules Specified in the Trace Assertion Method. Sci. Comput. Program. 28(2-3): 139-170 (1997) | |
| 1991 | ||
| 2 | Janina Mincer-Daszkiewicz: Program I/O behavior: Models and their applications. Journal of Systems and Software 14(1): 51-62 (1991) | |
| 1985 | ||
| 1 | Janina Mincer-Daszkiewicz, Zbigniew Weiss: A Reference String Sampling Method with Dynamically Changing Parameters. Perform. Eval. 5(4): 257-269 (1985) | |
| 1 | Marcin Engel | [4] |
| 2 | Michal Iglewski | [3] |
| 3 | Artur Kret | [4] |
| 4 | Zbigniew Weiss | [1] |