Supplementing Java Bytecode with Specifications

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiSupplementing Java Bytecode with Specifications
Adres internetowy
Tytuł książkiSoftware Engineering Techniques in Progress
Tom
Od strony215
Do strony228
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2008
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2008

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]