Commit Graph

7 Commits

Author SHA1 Message Date
Robin Clark
be339784b7 cited surjection... whoopy doop 2012-05-12 11:05:13 +01:00
6ad86ea31a Misra and SIL references 2012-05-04 11:54:06 +01:00
244b6685b0 Abstract for FMMD software paper
send to supervisors just now.
2012-04-30 19:34:00 +01:00
robin
9907bd1258 . 2012-04-25 23:11:09 +01:00
robin
7e364faf3f FMMD software paper proof read.
diagrams updted to D rather than bowtie notation
2012-04-25 22:54:40 +01:00
robin
cf3b20395c proof read notes applied to
software_fmmd
2012-04-25 19:01:17 +01:00
robin
965b80739e line up equals in eqnarray 2012-04-23 20:58:39 +01:00