download seminar details:
{
pdf
}
Seminar
| Speaker: | Kazuhiro Ogata (JAIST, Japan) |
|---|---|
| Title: | Expressing Weak Fairness and Strong Fairness in Maude |
| Date: | Παρασκευή, 13 Μάρ 2009 |
| Ώρα: | 18:00-19:00 |
| mpla.math.uoa.gr |
|
| Speaker: | Kazuhiro Ogata (JAIST, Japan) |
|---|---|
| Title: | Expressing Weak Fairness and Strong Fairness in Maude |
| Date: | Παρασκευή, 13 Μάρ 2009 |
| Ώρα: | 18:00-19:00 |
Comments