Aleksandar Milicevic (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson: A lightweight code analysis and its role in evaluation of a dependability case. ICSE 2011: 31-40

4 Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson: Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352

Selection of 2 from 8 records - Aleksandar Milicevic has 13 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

7		Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson: A lightweight code analysis and its role in evaluation of a dependability case. ICSE 2011: 31-40
4		Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson: Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352