PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification: Foreword

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	iii
Journal	PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification
Publication status	Published - 20 Apr 2010
Event	2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV'10 - Madrid, Spain Duration: 19 Jan 2010 → 19 Jan 2010

Cite this

@article{64199a8594c8431da96ec07b5ec440cc,

title = "PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification: Foreword",

author = "Filli{\^a}tre, \{Jean Christophe\} and Cormac Flanagan",

year = "2010",

month = apr,

day = "20",

language = "English",

pages = "iii",

journal = "PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification",

note = "2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV'10 ; Conference date: 19-01-2010 Through 19-01-2010",

}

TY - JOUR

T1 - PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification

T2 - 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification, PLPV'10

AU - Filliâtre, Jean Christophe

AU - Flanagan, Cormac

PY - 2010/4/20

Y1 - 2010/4/20

M3 - Editorial

AN - SCOPUS:77950879028

SP - iii

JO - PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification

JF - PLPV'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Programming Languages meets Program Verification

Y2 - 19 January 2010 through 19 January 2010

ER -