(2003). Reasoning about program transformations: Imperative programming and flow of data / Jean-François Collard.
Citación estilo ChicagoReasoning About Program Transformations: Imperative Programming and Flow of Data / Jean-François Collard. 2003.
Cita MLAReasoning About Program Transformations: Imperative Programming and Flow of Data / Jean-François Collard. 2003.
Warning: These citations may not always be 100% accurate.