%0 Conference Paper %1 conf/ismis/KawasakiO00 %A Kawasaki, Shuhei %A Ohsuga, Setsuo %B ISMIS %D 2000 %E Ras, Zbigniew W. %E Ohsuga, Setsuo %I Springer %K dblp %P 176-185 %T A Method of Generating Program Specification from Description of Human Activities. %U http://dblp.uni-trier.de/db/conf/ismis/ismis2000.html#KawasakiO00 %V 1932 %@ 3-540-41094-5

@inproceedings{conf/ismis/KawasakiO00, added-at = {2017-05-24T00:00:00.000+0200}, author = {Kawasaki, Shuhei and Ohsuga, Setsuo}, biburl = {https://www.bibsonomy.org/bibtex/20dec74f4003e646c529c5caa854bb880/dblp}, booktitle = {ISMIS}, crossref = {conf/ismis/2000}, editor = {Ras, Zbigniew W. and Ohsuga, Setsuo}, ee = {https://doi.org/10.1007/3-540-39963-1_19}, interhash = {83ff50e2f4e248a27130770d3a4f04a2}, intrahash = {0dec74f4003e646c529c5caa854bb880}, isbn = {3-540-41094-5}, keywords = {dblp}, pages = {176-185}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:01:27.000+0200}, title = {A Method of Generating Program Specification from Description of Human Activities.}, url = {http://dblp.uni-trier.de/db/conf/ismis/ismis2000.html#KawasakiO00}, volume = 1932, year = 2000 }