Royal Holloway University of London-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2018

  1. Specification and Verification of Invariant Properties of Transition Systems

    Proceedings - Asia-Pacific Software Engineering Conference, APSEC