Showing 1 - 2 results of 2 for search 'Hotomski Petar', query time: 0.02s Refine Results
  1. 1
    Resolution methods in proving the program correctness
    Get full text
    Article
  2. 2
    Dijkstra's interpretation of the approach to solving a problem of program correctness
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search