Program analysis: KeY verification tool_澳门葡京手机版app下载

sltarifa
2021-09-14T15:53:16.150Z
type:structured-message
www.uio.no

If you are curious about tools for program analysis which have similarities to the program logic used in the course, please have a look to the KeY tool.

https://www.key-project.org/

...