Efficient re-resolution of SMT specifications for evolving software architectures

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search results