|
Project Information
Members
|
We try to apply formal verification methods to pattern matching expressions in Scala using extractors and guards. Conducted during summer 2007 at the LARA lab @ EPFL. |
|
|
|
|
Project Information
Members
|
We try to apply formal verification methods to pattern matching expressions in Scala using extractors and guards. Conducted during summer 2007 at the LARA lab @ EPFL. |