liza-kl/UvA-SSVT

A repository for the lecture "Software Specification, Verification and Testing" from the M.Sc. Software Engineering course at the University of Amsterdam

语言：Haskell · GitHub 星标：3 · Fork：1

在 GitHub 上查看原仓库