Skip to content
cs-conference-ranking.org

EB4EB: A Framework for Reflexive Event-B.

Peter Riviere, Neeraj Kumar Singh, Yamine At Ameur

VenueBICECCS
Year2022
ProceedingsICECCS
DBLP recordconf/iceccs/RiviereSA22 ↗

Browse the full ICECCS paper archive.