Seminar
| Speaker: | Kazuhiro Ogata (JAIST, Japan) |
|---|---|
| Title: | Expressing Weak Fairness and Strong Fairness in Maude |
| Date: | Παρασκευή, 13 Μάρ 2009 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2008-2009 » K. Ogata, 2009-03-13 |
| Speaker: | Kazuhiro Ogata (JAIST, Japan) |
|---|---|
| Title: | Expressing Weak Fairness and Strong Fairness in Maude |
| Date: | Παρασκευή, 13 Μάρ 2009 |
| Ώρα: | 18:00-19:00 |
Comments