نتایج جستجو

Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
Gerard_J. Holzmann (auth.), 2002
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
Gerard_J. Holzmann (auth.), 2002
Partial Evaluation: Practice and Theory DIKU 1998 International Summer School Copenhagen, Denmark, June 29 – July 10, 1998
Torben Æ Mogensen (auth.), 1999