The BlenX Language: A Tutorial

Stringa bibliografica L. Demattè, C. Priami, A. Romanel, "The BlenX Language: A Tutorial" in M. Bernardo, P. Degano, G. Zavattaro (a cura di), Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures, Berlin/Heidelberg: Springer , 2008, p. 313-365. - (Lecture Notes in Computer Science. Programming and Software Engineering; 5016). - ISBN: 9783540688921

Dettaglio