Logics and analyses for concurrent heap-manipulating programs

Materias

• Computer software
• Verification
• Programming languages (Electronic computers)

Ediciones (1)

• Logics and analyses for concurrent heap-manipulating programs (2009)

  [British Computer Society] · inglés · ISBN 9781906124830

Más obras de Alexey Gotsman