The power of the future perfect in program logics (1985)

Cached


Other Repositories/Bibliography

  • DBLP
  • by Matthew Hennessy , Colin Stirling
    Venue:Information and Control
    Citations:18 - 0 self