© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Fran in action!
Anthony C. Daniels
This is a Fran tutorial that develops an animation of crew rowing., July 1997. Download publication 5223 kbytes (PostScript)Bibtex Record
@unpublished{1175, author = {Anthony C. Daniels}, title = {Fran in action!}, month = {July}, year = {1997}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {This is a Fran tutorial that develops an animation of crew rowing.}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1997/1175}, publication_type = {unpublished}, submission_id = {24466_981728324}, }