diff --git a/document/memo.txt b/document/memo.txt index 24a57f4..e678050 100644 --- a/document/memo.txt +++ b/document/memo.txt @@ -3,5 +3,5 @@ 現状はブラックボックステスト[1]のみを想定しているが、構文解析等を利用して、 ホワイトボックステスト[1]も行えればいいなぁ・・・ -[1]Uri Klein and Kedar S. Namjoshi, Formalization and Automated Verification of RESTful Behavior, - LNCS 6806, pp. 541–556, (2011), 2.3 3. Safety and idempotence. \ No newline at end of file +[1]Uri Klein and Kedar S. Namjoshi. (2011) "Formalization and Automated Verification of RESTful Behavior," + LNCS 6806, pp. 541–556, 2.3 3. Safety and idempotence. \ No newline at end of file