Verification conditions for source-level imperative programs Artigo Académico uri icon

data de publicação

  • janeiro 1, 2011