Re: Tutorial papers

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Adolfo Socorro Tue, 21 May 1991 08:30

#418

Author: Adolfo Socorro
Date: Tue, 21 May 1991 08:30

10 lines
854 bytes

I am surprised nobody suggested the following classic:

@ARTICLE{Liskov-Zilles:tose75,
    AUTHOR  = "Liskov, Barbara H. and Zilles, Stephen N.",
    TITLE   = "Specification Techniques for Data Abstraction",
    JOURNAL = "Transactions on Software Engineering",
    MONTH   = "March",
    YEAR    = 1975,
    VOLUME  = 1,
    NUMBER  = 1}

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads