Formal Methods in System Design [electronic resource]. - Springer US - 1(1);1992 - 33(1);2008

1572-8102
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha