Supplementing Java Bytecode with Specifications
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Supplementing Java Bytecode with Specifications
Adres internetowy
Tytuł książki
Software Engineering Techniques in Progress
Tom
Od strony
215
Do strony
228
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania
2008
Tytuł serii
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2008
Lista autorów
1.
Aleksy Schubert
,
Zakład Logiki Stosowanej
[
Współautor
]
2.
Krzysztof Jakubczyk,
Jednostka zewnetrzna
[
Współautor
]
3.
Jędrzej Fulara,
Jednostka zewnetrzna
[
Współautor
]