-
351
-
352
-
353
-
354
Proof of correctness of ATM retransmission scheme.
Published in Computer networks and ISDN systems.Article -
355
-
356
A specification-based approach to reasoning about pointers.
Published in Software engineering notes.Article -
357
-
358
Software product lines structuring based upon market demands.
Published in Software engineering notes.Article -
359
-
360