A
Menu
September 01, 2007 conference-paper

A Dynamic Logic for Deductive Verification of Concurrent Programs

IEEE International Conference on Software Engineering and Formal Methods (SEFM)

DOI: 10.1109/sefm.2007.1 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 1 stored of 9

1 result

References 0