Integration of Multiple Formal Matrix Models in Coq.

ZhengPu Shi, Gang Chen

Browse the full SETTA paper archive.