Naumchev, A.,
19 Mar 2019,
Detection of Inconsistent Contracts Through Modular Verification. p. 206-220 19. (Proceedings of 6th International Conference in Software Engineering for Defence Applications; vol. 925).
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review