![]() | ![]() |
1990 | ||
---|---|---|
2 | EE | Annalisa Bossi, Nicoletta Cocco, S. Dulli: A Method for Specializing Logic Programs. ACM Trans. Program. Lang. Syst. 12(2): 253-302 (1990) |
1982 | ||
1 | Nicoletta Cocco, S. Dulli: A Mechanism for Exception Handling and Its Verification Rules. Comput. Lang. 7(2): 89-102 (1982) |
1 | Annalisa Bossi | [2] |
2 | Nicoletta Cocco | [1] [2] |