Proc. 6th Int. Workshop on Structural Operational Semantics
Publication info
Publication type
Book
Publication kind
Source editing
Publication title
Proc. 6th Int. Workshop on Structural Operational Semantics
Web URL
Number of sheets
Number of pages
Edition mark
Printed in
Australia
Publisher name
EPTCS
Publication year
2010
Series title
EPTCS
Series index
Publication number
Publication language
English
Ethnic language of studied culture
Range
international
Report year
2010
Authors list
1.
Bartosz Klin
,
Instytut Informatyki
[
Editor
]
2.
Paweł Sobociński,
External unit
[
Editor
]