Forum to discuss and comment scientific articles and publications > Formal sciences > Computer sciences > Software engineering > Formal methods (Formal verification)

vBulletin® v3.7.0, Copyright ©2000-2008, Jelsoft Enterprises Ltd.