%0 Conference Paper %1 conf/icse/NakajimaT06 %A Nakajima, Shin %A Tamai, Tetsuo %B SESS@ICSE %D 2006 %E Bruschi, Danilo %E Win, Bart De %E Monga, Mattia %I ACM %K dblp %P 59-64 %T Formal specification and analysis of JAAS framework. %U http://dblp.uni-trier.de/db/conf/icse/sess2006.html#NakajimaT06 %@ 1-59593-411-1

@inproceedings{conf/icse/NakajimaT06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Nakajima, Shin and Tamai, Tetsuo}, biburl = {https://www.bibsonomy.org/bibtex/2bd962eefd7568421d84fdc40060616fa/dblp}, booktitle = {SESS@ICSE}, crossref = {conf/icse/2006sess}, editor = {Bruschi, Danilo and Win, Bart De and Monga, Mattia}, ee = {https://doi.org/10.1145/1137627.1137637}, interhash = {84ec69ad0cb029eeaa8a773bab17ef6a}, intrahash = {bd962eefd7568421d84fdc40060616fa}, isbn = {1-59593-411-1}, keywords = {dblp}, pages = {59-64}, publisher = {ACM}, timestamp = {2018-11-07T15:42:49.000+0100}, title = {Formal specification and analysis of JAAS framework.}, url = {http://dblp.uni-trier.de/db/conf/icse/sess2006.html#NakajimaT06}, year = 2006 }