User:Andredidier

I am interesetd in Computer Science, Software Engineering. I have been developing web systems since 2002 and I have been working with Formal Methods since 2006.