Showing 1 - 1 results of 1 for search 'COMPUTER PROGRAMMING', query time: 0.14s Refine Results
  1. 1
    Separation logic : expressiveness, complexity, temporal extension
    by Brochenin, Rémi
    Published 2013
    Subjects: “...[INFO:INFO_OH] Computer Science/Other...”
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search