Advanced search Recent papers Author index Keyword index Browse by series Help Desk About

CumInCAD is a Cumulative Index about publications in Computer Aided Architectural Design
supported by the sibling associations ACADIA, CAADRIA, eCAADe, SIGraDi, ASCAAD and CAAD futures
PDF papers
References

Hits 1 to 1 of 1

Reformat results as: short   short into frame   detailed   detailed into frame  

# Author Citation Select
1. Wurzer, Gabriel; Fioravanti, Antonio; Loffreda, Gianluigi; Trento, Armando (2010) Function & Action: Verifying a functional program in a game-oriented environment

FUTURE CITIES [28th eCAADe Conference Proceedings / ISBN 978-0-9541183-9-6] ETH Zurich (Switzerland) 15-18 September 2010, pp.389-394 https://doi.org/10.52842/conf.ecaade.2010.389

No more hits.

HOMELOGIN (you are user _anon_63728 from group guest) CUMINCAD Papers Powered by SciX Open Publishing Services 1.002