Travelled to:
1 × USA
Collaborated with:
Y.A.Ameur P.Girard G.Pierra J.Potier
Talks about:
metaprogram (1) languag (1) express (1) specif (1) formal (1)
Person: Frederic Besnard
DBLP: Besnard:Frederic
Contributed to:
Wrote 1 papers:
- SEKE-1995-Ait-AmeurBGPP #metaprogramming #specification
- Formal Specification and Metaprogramming in the EXPRESS Language (YAA, FB, PG, GP, JCP), pp. 181–188.