Naumchev, A.,
2020,
Detection of Inconsistent Contracts Through Modular Verification. p. 206-220 15 p. 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