1
TITLE: Generalising KAT to verify weighted computations PDF
AUTHORS: Leandro Gomes; Alexandre Madeira ; Luís Soares Barbosa;
SOURCE: CoRR, VOLUME: abs/1911.01146, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: DBLP