Propagation of JML non-null annotations in Java programs

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiPropagation of JML non-null annotations in Java programs
Adres internetowy
Tytuł książkiProceedings of PPPJ'2006
Tom
Od strony135
Do strony140
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydaniaMannheim
Nazwa wydawcyMannheim University Press
Rok wydania2006
Tytuł seriiACM International Conference Proceedings Series
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2006

Lista autorów
  
 1. Maciej Cielecki, Jednostka zewnetrzna [Współautor]
 2. Jędrzej Fulara, Jednostka zewnetrzna [Współautor]
 3. Krzysztof Jakubczyk, Jednostka zewnetrzna [Współautor]
 4. Lukasz Jancewicz, Jednostka zewnetrzna [Współautor]
 5. Jacek Chrząszcz, Zakład Logiki Stosowanej [Współautor]
 6. Aleksy Schubert, Zakład Logiki Stosowanej [Współautor]