@BOOK{ Book!D - 93555130,
AUTHOR = "/ Eckehard Schnieder, Gaeza Tarnai, editors",
TITLE = "FORMS/FORMAT 2010",
LIBRARY= "کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند",
SUBJECT = "Transportation, Safety measures, Data processing, Congresses,Formal methods (Computer science), Congresses,System safety, Congresses",
URL = "/book/93555130/FORMSFORMAT-2010/"}