Showing 1 - 1 results of 1 for search 'Working Group Provably Correct Systems', query time: 0.01s Refine Results
  1. 1
    Formal techniques in real-time and fault-tolerant systems : third international symposium organized jointly with the Working Group Provably Correct Systems, ProCoS, Lübeck, Germany, September 19-23, 1994 : proceedings /
    Book
    Published 1994
    “…Working Group Provably Correct Systems…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search