Travelled to:
1 × France
Collaborated with:
B.Zamani G.Butler
Talks about:
enterpris (1) pattern (1) languag (1) verifi (1) applic (1) base (1) web (1)
Person: Sahar Kayhani
DBLP: Kayhani:Sahar
Contributed to:
Wrote 1 papers:
- MoDELS-2008-ZamaniKB #enterprise #pattern matching #verification
- A Pattern Language Verifier for Web-Based Enterprise Applications (BZ, SK, GB), pp. 553–567.