Thread:Talk:Formal proofs for the NYCT line 7 (Flushing) modernization project/ABZ 2012 paper

the full story will be reported at ABZ 2012 article to be elaborated after the conference