Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
cfm [2013/05/09 19:52] vkuncak |
cfm [2013/05/09 19:55] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Communications in Formal Methods ====== | ====== Communications in Formal Methods ====== | ||
| - | * 5 pages in this 2-column format | + | * 5 pages in [[http://drupal.sigplan.org/sites/default/files/sigplanconf.cls|this 2-column format]] ([[http://lara.epfl.ch/~kuncak/sigplanconf.cls|local copy here]]) |
| * Reviewed | * Reviewed | ||
| * Experimental data uploaded and stored | * Experimental data uploaded and stored | ||
| * Using arxiv.org | * Using arxiv.org | ||
| - | |||