« Home

Journal. IEEE Transactions on Software Engineering [ieeetse]

  • https://www.computer.org/csdl/journal/ts

Backlinks

    Reference. Proving the Correctness of Multiprocess Programs [lamport-1977]

    • March 1977
    • Leslie Lamport
    • IEEE Transactions on Software Engineering 3 125–143
    • 10.1109/TSE.1977.229904