A compositional proof rule for Extended Coordination Logic

Leander Tentrup ยท Bachelor Thesis
Contact Data Privacy Policy Imprint
Home People Publications
More