Report copyright - Towards a Theory of Sequential Hybrid Programs - Springer · A theory of Sequential Hybrid Programs (SHP) is studied. SHP is a program ming ... (EDC) formulae (Zhou, Ravn & Hansen
Please pass captcha verification before submit form