Biblioteka Cyfrowa dLibra - Gore, Rajeev Prabhakar; Nguyen, Phuong The, CardS4: modal theorem proving on Java smart cards, Journal of Telecommunications and Information Technology, 2002, nr 4

obecnie czytających: 697
STRONA GŁÓWNA
KOLEKCJE
NOWE KONTO
LOGOWANIE
KONTAKT

Publikacja

» Wydania

Zapisz ten adres...

Dodaj do "Zakładek"

Opis publikacji

Gore, Rajeev Prabhakar; Nguyen, Phuong The, CardS4: modal theorem proving on Java smart cards, Journal of Telecommunications and Information Technology, 2002, nr 4

Trwa otwieranie jedynego wydania publikacji...