نتایج جستجو
Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
David Lorge Parnas (auth.), 2001
Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings
David Lorge Parnas (auth.), 2001
