Propagation of JML non-null annotations in Java programs
Dane publikacji
Typ publikacji
Publikacja w książce
Rodzaj publikacji
Artykuł konferencyjny
Tytuł publikacji
Propagation of JML non-null annotations in Java programs
Adres internetowy
Tytuł książki
Proceedings of PPPJ'2006
Tom
Od strony
135
Do strony
140
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Mannheim
Nazwa wydawcy
Mannheim University Press
Rok wydania
2006
Tytuł serii
ACM International Conference Proceedings Series
Numer w serii
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2006
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
]